From 5445814f56ed8295f06f8b6325b6cfb144f64363 Mon Sep 17 00:00:00 2001 From: "kfraser@dhcp93.uk.xensource.com" Date: Mon, 19 Jun 2006 11:10:10 +0100 Subject: [PATCH] [XEN] Fix non-debug builds. Signed-off-by: Keir Fraser --- xen/arch/x86/mm.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/xen/arch/x86/mm.c b/xen/arch/x86/mm.c index 612a255fdc..6f28c7d746 100644 --- a/xen/arch/x86/mm.c +++ b/xen/arch/x86/mm.c @@ -3378,10 +3378,10 @@ static int ptwr_emulated_update( (l1_linear_offset(l1va) == l1_linear_offset(addr)) ) ptwr_flush(d, PTWR_PT_INACTIVE); #else - ASSERT(((l1va = d->arch.ptwr[PTWR_PT_ACTIVE].l1va) == 0) || - (l1_linear_offset(l1va) != l1_linear_offset(addr))); - ASSERT(((l1va = d->arch.ptwr[PTWR_PT_INACTIVE].l1va) == 0) || - (l1_linear_offset(l1va) != l1_linear_offset(addr))); + BUG_ON(((l1va = d->arch.ptwr[PTWR_PT_ACTIVE].l1va) != 0) && + (l1_linear_offset(l1va) == l1_linear_offset(addr))); + BUG_ON(((l1va = d->arch.ptwr[PTWR_PT_INACTIVE].l1va) != 0) && + (l1_linear_offset(l1va) == l1_linear_offset(addr))); #endif /* Read the PTE that maps the page being updated. */ -- 2.30.2